Labelled Deduction: 17 (Applied Logic Series)
by David Basin,M. D'Agostino,Dov M. Gabbay,Seán Matthews,Luca Viganò
ISBN 13: 9780792362371
Format: Illustrated (284 pages) Publisher: Springer Published: 30 Apr 2000
Save for later
Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of ... 9635 (Lecture Notes in Computer Science)
by Frank Piessens,Luca Viganò
ISBN 13: 9783662496343
Format: Paperback (288 pages) Publisher: Springer Published: 16 Apr 2016
Labelled Non-Classical Logics
by Luca Viganò
ISBN 13: 9781441949622
Format: Paperback (308 pages) Publisher: Springer Published: 04 Oct 2013
Socio-Technical Aspects in Security and Trust: 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers: 12812 (Lecture Notes in Computer Science, 12812)
by Thomas Groß,Luca Viganò
ISBN 13: 9783030793173
Format: Paperback (219 pages) Publisher: Springer Published: 22 Jun 2021